-------------------------------------------------------------------
-- author: Fernando Brito e Abreu
-------------------------------------------------------------------
reset

!create Angola: Pais
!create Euro2012_GrupoC: Grupo
!create RepublicaCheca: Pais
!create Asia2012: Campeonato
!create Jogo10_grupos: Jogo
!create Jogo18_grupos: Jogo
!create Espanha: Pais
!create Treinador_RepublicaIrlanda: Treinador
!create Jogo1_grupos: Jogo
!create Euro2012_Final: Grupo
!create Grecia: Pais
!create Polonia: Pais
!create RepublicaIrlanda: Pais
!create Africa2012: Campeonato
!create Euro2012_MeiasFinais: Grupo
!create Italia: Pais
!create Jogo17_grupos: Jogo
!create ArabiaSaudita: Pais
!create Treinador_Italia: Treinador
!create Euro2012_QuartosFinal: Grupo
!create Euro2012: Campeonato
!create Treinador_Croacia: Treinador
!create Croacia: Pais
!create Europa: Continente
!create Jogo9_grupos: Jogo
!create Cartao1: Cartao
!create Alemanha: Pais
!create Treinador_Espanha: Treinador
-------------------------------------------------------------------
!create Croacia_Euro2012: Participacao between (Croacia, Euro2012)
!create Italia_Euro2012: Participacao between (Italia, Euro2012)
!create RepublicaIrlanda_Euro2012: Participacao between (RepublicaIrlanda, Euro2012)
!create Espanha_Euro2012: Participacao between (Espanha, Euro2012)
-------------------------------------------------------------------
!insert (Treinador_RepublicaIrlanda, RepublicaIrlanda_Euro2012) into Treinador_Participacao
!insert (Euro2012, Euro2012_QuartosFinal) into Campeonato_Grupo
!insert (Treinador_Croacia, Croacia_Euro2012) into Treinador_Participacao
!insert (Euro2012, Euro2012_GrupoC) into Campeonato_Grupo
!insert (Treinador_Espanha, Espanha_Euro2012) into Treinador_Participacao
!insert (Euro2012, Euro2012_MeiasFinais) into Campeonato_Grupo
!insert (Treinador_Italia, Italia_Euro2012) into Treinador_Participacao
!insert (Euro2012, Euro2012_Final) into Campeonato_Grupo
-------------------------------------------------------------------
!set Angola.area := Undefined
!set Angola.nome := Undefined
!set Angola.populacao := Undefined
!set Euro2012_GrupoC.designacao := Undefined
!set Euro2012_GrupoC.fase := Undefined
!set RepublicaCheca.area := Undefined
!set RepublicaCheca.nome := Undefined
!set RepublicaCheca.populacao := Undefined
!set Asia2012.genero := Undefined
!set Asia2012.nome := Undefined
!set Jogo10_grupos.dia := Undefined
!set Jogo10_grupos.hora := Undefined
!set Jogo18_grupos.dia := Undefined
!set Jogo18_grupos.hora := Undefined
!set Croacia_Euro2012.classificacao := Undefined
!set Croacia_Euro2012.organizador := false
!set Espanha.area := Undefined
!set Espanha.nome := Undefined
!set Espanha.populacao := Undefined
!set Treinador_RepublicaIrlanda.data_nascimento := Undefined
!set Treinador_RepublicaIrlanda.nome := Undefined
!set Jogo1_grupos.dia := Undefined
!set Jogo1_grupos.hora := Undefined
!set Euro2012_Final.designacao := Undefined
!set Euro2012_Final.fase := Undefined
!set Grecia.area := Undefined
!set Grecia.nome := Undefined
!set Grecia.populacao := Undefined
!set Italia_Euro2012.classificacao := Undefined
!set Italia_Euro2012.organizador := false
!set Polonia.area := Undefined
!set Polonia.nome := Undefined
!set Polonia.populacao := Undefined
!set RepublicaIrlanda.area := Undefined
!set RepublicaIrlanda.nome := Undefined
!set RepublicaIrlanda.populacao := Undefined
!set Africa2012.genero := Undefined
!set Africa2012.nome := Undefined
!set Euro2012_MeiasFinais.designacao := Undefined
!set Euro2012_MeiasFinais.fase := Undefined
!set Italia.area := Undefined
!set Italia.nome := Undefined
!set Italia.populacao := Undefined
!set Jogo17_grupos.dia := Undefined
!set Jogo17_grupos.hora := Undefined
!set ArabiaSaudita.area := Undefined
!set ArabiaSaudita.nome := Undefined
!set ArabiaSaudita.populacao := Undefined
!set Treinador_Italia.data_nascimento := Undefined
!set Treinador_Italia.nome := Undefined
!set Euro2012_QuartosFinal.designacao := Undefined
!set Euro2012_QuartosFinal.fase := Undefined
!set Euro2012.genero := TipoCampeonato::Europeu
!set Euro2012.nome := 'Euro2012'
!set Treinador_Croacia.data_nascimento := Undefined
!set Treinador_Croacia.nome := Undefined
!set Croacia.area := Undefined
!set Croacia.nome := Undefined
!set Croacia.populacao := Undefined
!set Europa.nome := Undefined
!set Jogo9_grupos.dia := Undefined
!set Jogo9_grupos.hora := Undefined
!set Cartao1.minuto := 125
!set Cartao1.tipo := TipoCartao::Amarelo
!set Alemanha.area := Undefined
!set Alemanha.nome := Undefined
!set Alemanha.populacao := Undefined
!set RepublicaIrlanda_Euro2012.classificacao := Undefined
!set RepublicaIrlanda_Euro2012.organizador := false
!set Treinador_Espanha.data_nascimento := Undefined
!set Treinador_Espanha.nome := Undefined
!set Espanha_Euro2012.classificacao := Undefined
!set Espanha_Euro2012.organizador := false
